Partial Observation in Distributed Supervisory Control of Discrete-Event Systems
Authors
Abstract:
Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in whichobservation properties are preserved from monolithic to distributed supervisory control. Local observationproperties, i.e. local normality and local relative observability are employed for investigating observationproperties of each local controller, which are constructed by any localization algorithm that preserves controlequivalency to the monolithic supervisor with respect to the plant. These properties enable us to investigatethe observation properties from monolithic to distributed supervisory control. Moreover, observationequivalence property is defined according to the control equivalence in a distributed supervisory controlwith partial observation. It is proved that with preserving observation equivalence of the local controllers tothe monolithic supervisor, the control equivalence is satisfied, if and only if the intersection of local eventsets is a subset of or equal to the global observable event set.
similar resources
Supervisory Control of Distributed Discrete-Event Systems
A distributed discrete-event system consists of an interconnection of two or more subsystems. Control of a distributed system demands a set of controllers each receiving the observation stream of a local subsystem and providing a subset of enabled events to that subsystem. Several control architectures are defined in this chapter: Distributed control, distributed control with communication, coo...
full textOn Coparanormality in Distributed Supervisory Control of Discrete-Event Systems
Decomposition and localization of a supervisor both are reduction methods in distributed supervisory control of discrete-event systems.Decomposition is employed to reduce the number of events and localization is used to reduce the number of states of local controllers.In decomposition of a supervisor both observation and control scopes are restricted, whereas in localization only control author...
full textSupervisory Control of Real-time Discrete Event Systems under Partial Observation
In this paper, we address the issue of synthesizing an optimal supervisor for real-time discrete event systems modeled by timed automata and under partial observation. Our approach is based on a method of transformation of timed automata into particular finite state automata called Set-Exp-Automata. That is, given the timed automata of the plant and the specification, we construct two Set-Exp-A...
full textDistributed Supervisory Control of Discrete-Event Systems with Communication Delay
This paper identifies a property of delay-robustness in distributed supervisory control of discrete-event systems (DES) with communication delays. In previous work a distributed supervisory control problem has been investigated on the assumption that inter-agent communications take place with negligible delay. From an applications viewpoint it is desirable to relax this constraint and identify ...
full textSupervisory Control of Interacting Discrete Event Systems
In this paper we present a theory for decentralized supervisory control of a general class of multiprocess discrete event systems referred to as interacting discrete event systems (IDES). An IDES is a discrete event system that consists of a number of components working concurrently and possibly restricted by a well-defined interaction specification. We extend the notion of decentralized superv...
full textMy Resources
Journal title
volume 49 issue 2
pages 187- 198
publication date 2017-12-01
By following a journal you will be notified via email when a new issue of this journal is published.
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023